The programs for the paper "Using Conflict and Support Counts for Variable and Value Ordering in CSPs"

  • program 1
  • program 2
  • program 3

    • The benchmarks used for testing are from Christophe Lecoutre website